√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

program synthesis中文什么意思

發(fā)音:   用"program synthesis"造句

百科釋義

    Program synthesis is a special form of automatic programming that is most often paired with a technique for formal verification. The goal is to automatically construct a program that provably satisfies a given high-level specification.
    詳細(xì)百科解釋

相關(guān)詞匯

        synthesis:    n. (pl. -ses ) 綜合，【化學(xué)】合成；【邏輯 ...
        automatic program synthesis:    自動(dòng)程序綜合
        logical program synthesis:    邏輯程序合成
        ship synthesis program:    船舶綜合程序; 船舶綜合分析程序
        structural synthesis design program:    結(jié)構(gòu)綜合設(shè)計(jì)程序
        synthesis of the object program:    結(jié)果程序的綜合
        for synthesis:    合成用
        synthesis:    n. (pl. -ses ) 綜合，【化學(xué)】合成；【邏輯學(xué)】綜合(法)；【語(yǔ)言學(xué)】綜合(性)；語(yǔ)詞的合成；【醫(yī)學(xué)】接合；【物理學(xué)】合成綜合。
        program:    按遺傳密碼工作; 編程; 編譯程序的源程序; 程式; 程序; 程序,項(xiàng)目; 程序，程序表鋼要，提鋼; 程序，計(jì)劃，方案; 程序，計(jì)劃，節(jié)目單; 程序；編制程序；規(guī)劃，大綱；節(jié)目; 程序；程序; 程序；節(jié)目; 程序；進(jìn)度表；計(jì)劃; 程序表; 程序表為…編程序計(jì)劃方案大綱程序節(jié)目說(shuō)明書(shū)為…制訂計(jì)劃為…編制程序使按程序工作編制程序; 程序節(jié)目; 程序頭; 程序性; 次序表; 大會(huì)程序; 大型項(xiàng)目; 調(diào)整程序排除計(jì)算故障程序; 方案; 工程; 規(guī)劃; 活動(dòng)日程; 計(jì)畫(huà)，旋政計(jì)畫(huà); 計(jì)劃; 計(jì)劃‖規(guī)劃，擬…計(jì)劃 繁體字下載編程序; 計(jì)劃，方案，程序; 計(jì)劃方案大綱程序; 計(jì)算機(jī)酸化方案; 計(jì)算機(jī)鉆井設(shè)計(jì)程序; 監(jiān)視器/節(jié)目; 節(jié)目; 節(jié)目(單); 節(jié)目,計(jì)畫(huà),節(jié)目單; 節(jié)目；表演; 節(jié)目；程式; 節(jié)目單; 節(jié)目單，方案; 進(jìn)度表; 控制程序; 某一專業(yè)的課程總稱; 擬定程序; 上演節(jié)目; 授課計(jì)劃，課程; 說(shuō)明書(shū); 說(shuō)明書(shū)，節(jié)目表，程式; 提鋼; 通道程序; 舞蹈的節(jié)目表; 項(xiàng)目；大綱; 項(xiàng)目群; 學(xué)科□; 預(yù)定的動(dòng)作程序; 自由滑節(jié)目
        the program:    叛逆贏家
        this program:    這個(gè)程序
        to program:    編程; 編制程序; 程序編制
        abiotic synthesis:    非生物合成
        active synthesis:    有源綜合
        additive synthesis:    附加合成
        admittance synthesis:    導(dǎo)納綜合
        alfene synthesis:    鋁烯合成法
        alfol synthesis:    鋁醇合成法
        alternative synthesis:    別種合成法
        amidine synthesis:    脒合成
        ammonia synthesis:    氨的合成; 氨合成法; 合成氨
        analog synthesis:    模擬綜合
        analysis and synthesis:    分析和綜合; 分析與綜合
        analysis by synthesis:    綜合分析
        anodic synthesis:    陽(yáng)極合成

相鄰詞匯

  1. program switching 什么意思
  2. program switching interrupt 什么意思
  3. program switching matrix 什么意思
  4. program synchronization 什么意思
  5. program syntax 什么意思
  6. program system 什么意思
  7. program system structure 什么意思
  8. program system testing 什么意思
  9. program systme 什么意思
  10. program tab 什么意思
桌面版繁體版English

相關(guān)閱讀

Copyright ? 2025 WordTech Co.